public

t_projet_pjt

c_chk_date_dernier_apres_date_premier_pjt

pjt_date_dernier_fichier >= pjt_date_premier_fichier

Vérifie que la date du dernier fichier du projet est bien postérieure ou égale à celle du premier fichier

public

tj_affectation_rob_pjt_aff

c_chk_date_fin_apres_date_debut_aff

aff_date_fin >= aff_date_debut

La date de fin d'affectation du robot doit être postérieure à la date de début d'affectation

public

tj_affectation_rob_pjt_aff

c_chk_periode_champs_date_aff

(((lower(aff_periode) = aff_date_debut) AND lower_inc(aff_periode)) OR ((lower(aff_periode) = (aff_date_debut - 1)) AND (NOT lower_inc(aff_periode)))) AND (((upper(aff_periode) = aff_date_fin) AND upper_inc(aff_periode)) OR ((upper(aff_periode) = (aff_date_fin + 1)) AND (NOT upper_inc(aff_periode))))

Vérifie que les extrémités du champs aff_periode correspondent bien aux valeurs des champs aff_date_debut et aff_date_fin

public

tr_robot_rob

c_chk_date_dernier_apres_date_premier_rob

rob_date_dernier_fichier >= rob_date_prochain_fichier

Vérifie que le champ rob_date_dernier_fichier contient une date postérieure au contenu du champ rob_date_prochain_fichier